Back JML Catalan Java Modeling Language English Java Modeling Language Spanish Java Modeling Language French Java Modelling Language Italian Java Modeling Language Polish Java Modeling Language Portuguese
The Java Modeling Language (JML) — мова, яка використовується для опису функціональної поведінки класів і методів Java. Опис поведінки виражається у вигляді структурованих Java-коментарів чи анотацій Java, що використовують Java, як логічні вирази. Різні інструменти можуть прочитати інформацію JML і виконати статичну перевірку, перевірку виконання, генерацію тестів, відображення документації або інших корисних завдань.